x86: Move log-dirty-mode assertion to correct place.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/arch/x86/mm/paging.c b/xen/arch/x86/mm/paging.c
index 9de049aafd58bc637d2a7ee1b708c000dd4ada4a..38a7db6dce164e5238091d0e92122fccffa9ed11 100644 (file)
--- a/xen/arch/x86/mm/paging.c
+++ b/xen/arch/x86/mm/paging.c
@@ -269,13 +269,13 @@ void paging_mark_dirty(struct domain *d, unsigned long guest_mfn)
 
     gmfn = _mfn(guest_mfn);
 
-    ASSERT(mfn_valid(d->arch.paging.log_dirty.top));
-
     if ( !paging_mode_log_dirty(d) || !mfn_valid(gmfn) )
         return;
 
     log_dirty_lock(d);
 
+    ASSERT(mfn_valid(d->arch.paging.log_dirty.top));
+
     /* We /really/ mean PFN here, even for non-translated guests. */
     pfn = get_gpfn_from_mfn(mfn_x(gmfn));